Buy Used and New Wang Yi Books

Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings ... / Programming and Software Engineering)

by Paul Pettersson, Wang Yi

ISBN 13: 9783540309468

Format: Paperback (305 pages)
Publisher: Springer
Published: 13 Dec 2005

Save for later